C. F. Meyers Schillergedicht
نویسندگان
چکیده
منابع مشابه
T C C F
We review links between three logic formalisms and three approaches to specifying operational semantics. In particular, we show that specifications written with (small-step and big-step) SOS, abstract machines, and multiset rewriting, are closely related to Horn clauses, binary clauses, and (a subset of) linear logic, respectively. We shall illustrate how binary clauses form a bridge between th...
متن کاملA Note on Meyers’ Theorem in W
Lower semicontinuity properties of multiple integrals u ∈W (Ω;R) 7→ ∫ Ω f(x, u(x), · · · ,∇u(x)) dx are studied when f may grow linearly with respect to the highest-order derivative, ∇ku, and admissible W k,1(Ω;Rd) sequences converge strongly in W k−1,1(Ω;Rd). It is shown that under certain continuity assumptions on f, convexity, 1-quasiconvexity or k-polyconvexity of ξ 7→ f(x0, u(x0), · · · ,∇...
متن کامل2 Patrick Mcdonald and Robert Meyers
Let M be a complete Riemannian manifold and D ⊂ M a smoothly bounded domain with compact closure. We use Brownian motion and the classic results on the Stieltjes moment problem to study the relationship between the Dirichlet spectrum of D and the heat content asymptotics of D. Central to our investigation is a sequence of invariants associated to D defined using exit time moments. We prove that...
متن کاملT F S C
The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and practical point of view. In this paper, we discuss some of the different aspects. Especially interesting is the new proposal of the POPL’07 keynote speaker Don Batory claiming that model transformations sh...
متن کاملPr oo f C
In this paper we address the problem of autonomous navigation in very large unstructured environments. A new hybrid metric map (HYMM) structure is presented that combines feature maps with other metric representations in a consistent manner. The global feature map is partitioned into a set of connected local triangular regions (LTRs), which provide a reference for a detailed multidimensional de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modern Philology
سال: 1920
ISSN: 0026-8232,1545-6951
DOI: 10.1086/387298